type Writer a = (a, String)